$\forall$$T$:Type, $L$, $L_{1}$:$T$ List. $L_{1}$ $\subseteq$ $L$ $\Rightarrow$ ($\exists$$L_{2}$:$T$ List. interleaving($T$;$L_{1}$;$L_{2}$;$L$))